core_2_summary 12,41
General-purpose definitions and
theorems.

origin